Knowledge base dynamics, Abduction and Databases updates

In this report1, we argue that to apply rationality results of belief dynamics theory to various practical problems, it should be generalised in two respects: rst of all, it should allow certain part of belief to be declared immutable; and secondly, the belief state need not be deductively closed. Such a generalisation of belief dynamics, referred to as knowledge base dynamics, is presented, along with the concept of generalised contraction to contract a sentence from knowledge base. We show that knowledge base dynamics has interesting connections with abduction, thus enabling us to use abductive procedures to realize contractions. Finally, we demonstrate how knowledge base dynamics can provide an axiomatic characterisation for deleting view atoms from databases.